Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
811	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
812	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
813	Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer Add to Reading List Source URL: www.jucs.org Language: English - Date: 2006-11-02 06:23:21 Mathematical logic Abstract algebra Model theory Algebraic structures Finitary relation Equivalence relation Vector space Relational algebra FO Mathematics Algebra Mathematical structures
814	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, University of Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2014-02-18 10:22:26 TTCN Specification and Description Language Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language
815	Further thoughts on pointfree versus classical function rings Bernhard Banaschewski This talk will describe a substantially revised version of the proof, presented here last October, that the pointfree function rings RL Add to Reading List Source URL: www.mth.uct.ac.za Language: English - Date: 2014-04-04 11:01:20 General topology Category theory Model theory Adjoint functors Higher category theory Semilattice Closure Mathematical logic Compact space Topology Mathematics Abstract algebra
816	Scalable Active Matching Ankur Handa, Margarita Chli, Hauke Strasdat and Andrew J. Davison Department of Computing, Imperial College London, UK {ahanda, mchli, strasdat, ajd}@doc.ic.ac.uk Abstract Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-04-20 11:20:40 Theoretical computer science Graphical models Probability theory Combinatorial optimization Matching Pattern recognition Motion estimation Mixture model Video tracking Mathematics Machine learning Statistics
817	Communications in Commun. Math. Phys. 76, [removed]Physics © by Springer-Verlag1980 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:15 Systems theory Group theory Model theory Stable theory Ergodic theory Dynamical system Periodic function Group action Mathematical analysis Mathematics Abstract algebra
818	Contemporary Mathematics Volume 516, 2010 Geometry of the Restricted Boltzmann Machine Mar´ıa Ang´elica Cueto, Jason Morton, and Bernd Sturmfels Abstract. The restricted Boltzmann machine is a graphical model for bina Add to Reading List Source URL: deeplearning.cs.cmu.edu Language: English - Date: 2013-10-01 00:27:08 Algebraic varieties Projective space Boltzmann machine Secant variety Determinantal variety Segre embedding Representation theory Complex projective space Projective line Geometry Projective geometry Algebraic geometry
819	Network Games with Local Correlation and Clustering∗ PJ Lamberson† Abstract This paper develops a model of games played in a network that allows for Add to Reading List Source URL: pjlamberson.org Language: English - Date: 2013-03-20 19:18:40 Best response Evolutionary game theory Science Proportionality Strategy Strategic complements Evolutionarily stable strategy Game theory Economics Problem solving
820	Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.1–12 EXACT SEQUENCES OF FIBRATIONS OF CROSSED COMPLEXES, HOMOTOPY CLASSIFICATION OF MAPS, AND NONABELIAN EXTENSIONS OF GROUPS Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-06-25 03:44:35 Algebraic topology Category theory Homology theory Crossed module Groupoid Homotopy group Model category Weak equivalence Homotopy lifting property Topology Homotopy theory Abstract algebra

UPDATE